perm filename LETTER.SC[P,JRA] blob
sn#155763 filedate 1975-04-21 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 \\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00005 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S Telephone:
\←S\→.415-497-4971
\F1\CApril 21,1975
Chairman
Department of Electrical Engineering & Computer Science
University of Santa Clara
Santa Clara, Cal 95053
Dear Sir:
\J
I am writing to you on the chance that there might be a teaching position open
next year. I am enclosing a slight biographical sketch. The salient features
of that biography are my extensive experience in computer science research
and teaching. I have taught at UC Santa Barbara, Los Angeles and Santa Cruz.
I am currently teaching at San Jose State. I am completing a book on
foundations of computer science and language design; it will be published
by McGraw-Hill.
My current research interest lie in the realm of application of the
theoretical work in automatic programming and verification. In particular,
I am currently writing a proposal to the NSF to explore
an on-line programming laboratory for the construction of reliable programs.
I seek a position where I can continue my research interests in conjunction
with active teaching.
If there seems to be a ground for mutual interest please contact me.
\.
\←L\→S\←R\-L\/'2;\+L\→L
Yours sincerely,
John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab
\←S\→L